$\forall$$g$, $h$:GrpSig, $f$:($\mid$$g$$\mid\rightarrow\mid$$h$$\mid$). IsMonHomInj($g$;$h$;$f$) $\in$ $\mathbb{P}$